<HTML><HEAD><TITLE>select(+Map0, ++KeyList, -Map)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(m_map)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>select(+Map0, ++KeyList, -Map)</H1>
Creates a new map containing just those entries corresponding to a given list of keys.
<DL>
<DT><EM>Map0</EM></DT>
<DD>A map
</DD>
<DT><EM>KeyList</EM></DT>
<DD>A list of keys to select
</DD>
<DT><EM>Map</EM></DT>
<DD>The resulting map
</DD>
</DL>
<H2>Description</H2>
	<P>
	The map Map contains the key/value pairs from the map Map0 where
	the key appears in the list KeyList.  Keys in KeyList which do not
	appear in Map0 are ignored.
	</P>
	<P>
	This predicate should only be called with maps created by other
	predicates from the map module.
	</P>
	
<H3>Fail Conditions</H3>
Never fails.
<H3>Resatisfiable</H3>
no

</BODY></HTML>
